Coherence for categories with associativity, commutativity and distributivity
نویسندگان
چکیده
منابع مشابه
Coherence of Associativity in Categories with Multiplication
To say that C is a category with (functoral) multiplication means that there is a functor ⊗ : C → C called the multiplication where C is the category of pairs of objects and pairs of morphisms from C. [More technically, C is the category of functors and natural transformations from 2 to C where 2 is the category with objects 0 and 1, and the only morphisms are the identity morphisms.] Examples ...
متن کاملAssociativity as commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...
متن کاملDistributivity and associativity in effect algebras
We prove “large associativity” of the partial sum in effect algebras and present an overview of distributivity-like properties of partial operations ⊕ and in effect algebras with respect to (possibly infinite) suprema and infima and vice versa generalizing several previous results.
متن کاملCommutativity, Associativity, and Public Key Cryptography
In this paper, we will study some possible generalizations of the famous Diffie-Hellman algorithm. As we will see, at the end, most of these generalizations will not be secure or will be equivalent to some classical schemes. However, these results are not always obvious and moreover our analysis will present some interesting connections between the concepts of commutativity, associativity, and ...
متن کامل2 00 6 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1972
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1972-12925-2